Module isotope::primitive::logical[][src]

Expand description

Logical primitives

Structs

BOOL

The boolean type, with the default type

BOOL_ANNOT

An annotation of the boolean type, with the default type

Bool

An instance of the type of booleans

Boolean

A Boolean term

FALSE

The constant false, with the default type

TRUE

The constant true, with the default type